$\forall$${\it the\_w}$:World, $x$:Id, $e$:E. ($x$ when $e$) $\in$ $\mathbb{Q}\rightarrow$vartype(loc($e$);$x$)